x86: Dom0 builder doesn't need to disable IRQs while running on dom0 pagetables.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/arch/x86/domain_build.c b/xen/arch/x86/domain_build.c
index f2558a4944d5392885d5abeaed8b54065bbae5eb..e026662b023fce3de6a754dc132b0e9ea1abf1dc 100644 (file)
--- a/xen/arch/x86/domain_build.c
+++ b/xen/arch/x86/domain_build.c
@@ -203,7 +203,6 @@ static void dom0_pt_enter(struct vcpu *v)
     };
 
     asm volatile ( "lgdt %0" : : "m" (gdt_desc) );
-    local_irq_disable();
     write_ptbase(v);
 }
 
@@ -216,7 +215,6 @@ static void dom0_pt_exit(void)
     };
 
     write_ptbase(current);
-    local_irq_enable();
     asm volatile ( "lgdt %0" : : "m" (gdt_desc) );
 }